Computable function - PDFSEARCH.IO - Document Search Engine

Computable function
Results: 170

#	Item
131	[removed]Natural or Artificial Science? "Computer Science is no more about computers than astronomy is about telescopes." -- E. W. Dijkstra Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:13 Computability theory Theory of computation Computational complexity theory Models of computation Algorithm Computable function Halting problem Lookup table Greatest common divisor Theoretical computer science Mathematics Applied mathematics
132	Computing over the Reals: Where Turing Meets Newton [removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-06-22 10:29:01 Computer science Theory of computation Computational complexity theory Computable number Computable function Turing machine Halting problem Computability Real computation Theoretical computer science Computability theory Applied mathematics
133	CANTOR’S DIAGONAL ARGUMENT: PROOF AND PARADOX Cantor’s diagonal method is elegant, powerful, and simple. It has been the source of Add to Reading List Source URL: wiki.laptop.org Language: English - Date: 2011-07-28 22:14:56 Theoretical computer science Mathematical logic Computable function Halting problem Primitive recursive function Church–Turing thesis Function Recursively enumerable set Algorithm Mathematics Theory of computation Computability theory
134	Open Problems in Computer Virology Eric Filiol, Marko Helenius, and Stefano Zanero 1 Add to Reading List Source URL: home.deib.polimi.it Language: English - Date: 2008-01-27 12:36:17 Virus Computer virus Computer science Antivirus software Computational complexity theory Computable function Computability Malware Algorithms Theory of computation Computability theory Virology
135	A Theory of Computation and Complexity over the Real Numbers Lenore Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:50:03 Applied mathematics Theory of computation Structural complexity theory Computational complexity theory Computable function Decision problem Reduction Polynomial Computability Theoretical computer science Mathematics Computability theory
136	doi:[removed]j.amc[removed] Add to Reading List Source URL: research.cs.queensu.ca Language: English - Date: 2006-09-06 13:46:42 Computer science Applied mathematics Hypercomputation Church–Turing thesis Computable function Computable number Turing machine Computability Algorithm Theoretical computer science Computability theory Theory of computation
137	Computability on topological spaces via domain representations Viggo Stoltenberg-Hansen Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2007-03-22 05:15:38 Functions and mappings Linear algebra Computability theory Abstract algebra Domain theory Computable function Viggo Stoltenberg-Hansen Algorithm Function Mathematics Algebra Mathematical structures
138	TYPE SYSTEMS FOR POLYNOMIAL-TIME COMPUTATION Add to Reading List Source URL: www.lfcs.inf.ed.ac.uk Language: English - Date: 2000-08-18 13:13:43 Mathematical logic Theory of computation Recursion Functions and mappings Lambda calculus Primitive recursive function Computable function Function Fold Theoretical computer science Mathematics Computability theory
139	Real PCF extended with ∃ is universal (Extended Abstract∗) Mart´ın H¨otzel Escard´o Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-03-06 21:46:10 Mathematical logic Theory of computation Functions and mappings Formal methods Models of computation Function Computable number Sheaf Lambda calculus Mathematics Computability theory Theoretical computer science
140	Report from Dagstuhl Seminar[removed]Computing with Infinite Data: Topological and Logical Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-01-12 03:38:24 Topology Functional analysis General topology Theory of computation Descriptive set theory Computable analysis Computable function Mathematical analysis Baire space Mathematics Mathematical logic Computability theory

UPDATE